and Computation - PDFSEARCH.IO - Document Search Engine

and Computation
Results: 3364

#	Item
291	IEEE World Congress on Computational Intelligence WCCI’ 2016 July 24-29, 2016, Vancouver, Canada http://www.wcci2016.org/ The Congress: The bi-annual IEEE World Congress on Computational Intelligence (IEEE WCCI) will Add to Reading List Source URL: wcci2016.org Language: English - Date: 2016-02-12 01:33:57 Piscataway New Jersey IEEE Computational Intelligence Society Institute of Electrical and Electronics Engineers WCCI IEEE Congress on Evolutionary Computation
292	CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. 2007; 19:2407–2423 Prepared using cpeauth.cls [Version: v2.02] Automated and accurate cache behavior analysis for Add to Reading List Source URL: www.des.udc.es Language: English - Date: 2008-09-19 07:52:25 Software engineering Computer programming Computing Cache Computer memory Compiler optimizations Software optimization Compiler construction Optimizing compiler Infinite loop Trie Cache memory
293	Computing Fundamentals Computational Complexity Salvatore Filippone–2015 Add to Reading List Source URL: people.uniroma2.it Language: English - Date: 2015-06-11 10:49:26 Computational complexity theory Analysis of algorithms Theory of computation Computer science Mathematics Time complexity Best worst and average case Algorithm Average-case complexity Fast Fourier transform Generic-case complexity
294	arXiv:0903.0340v3 [quant-ph] 6 JunPhysics, Topology, Logic and Computation: A Rosetta Stone John C. Baez Department of Mathematics, University of California Add to Reading List Source URL: arxiv.org Language: English - Date: 2009-06-05 20:47:48 Category theory Algebra Mathematics Monoidal categories Lambda calculus Functors Algebraic topology Cartesian closed category Topological quantum field theory Morphism Natural transformation Coproduct
295	Combining CSP and B for Specification and Property Verification⋆ Michael Butler1 and Michael Leuschel1,2 1 2 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-11-21 11:00:56 Software engineering Theoretical computer science Computing Concurrent computing Constraint programming Models of computation Model checkers Process calculus Michael Butler Model checking FDR Denotational semantics
296	Abstract Privacy, Integrity, and Incentive-Compatibility in Computations with Untrusted Parties Sheng Zhong 2004 Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2004-07-28 23:00:33 Security Cryptography Computing Formal sciences Theoretical computer science Secure multi-party computation Cryptographic protocol Mobile agent Algorithm Transmission Control Protocol Computer security
297	Squeezing Energy Savings Out Of Similar Data and Computation in GPGPUs Daniel Wong University of California, Riverside ABSTRACT Add to Reading List Source URL: tinytocs.ece.utexas.edu Language: English - Date: 2016-03-05 17:06:25 Computing Parallel computing Computer architecture Graphics hardware Computational science General-purpose computing on graphics processing units Video game development Operand Computer engineering
298	The Table Maker’s Dilemma Results and Applications Vincent L EF E` VRE November 16, 2000 Add to Reading List Source URL: www.vinc17.org Language: English - Date: 2015-06-18 06:12:50 Mathematics Mathematical analysis Dimensionless numbers Ratios Trigonometry Complex analysis Logarithms Rounding Theory of computation Trigonometric functions Inverse trigonometric functions
299	1 What’s on this page goes here The Annual Report 2007 - 2008 Add to Reading List Source URL: www.cercia.ac.uk Language: English - Date: 2009-11-24 04:17:28 Computer engineering Computer science Electrical engineering Electronic engineering Department of Computer Science Evolutionary computation Electromagnetism Science and technology Technology
300	LDV: Light-weight Database Virtualization Quan Pham2, Tanu Malik1, Boris Glavic3 and Ian Foster1,2 Computation Institute1and Department of Computer Science2,3 University of Chicago1,2, Argonne National Laboratory1 Illino Add to Reading List Source URL: daspos.crc.nd.edu Language: English - Date: 2016-05-31 16:04:22 Software System software Computing Application virtualization Virtualization Operating-system-level virtualization Microsoft App-V Hardware virtualization

UPDATE